K-trivials Are Never Continuously Random

نویسندگان

  • GEORGE BARMPALIAS
  • ANTONIO MONTALBÁN
چکیده

In [RS07, RS08], Reimann and Slaman raise the question “For which infinite binary sequences X do there exist continuous probability measures μ such that X is effectively random relative to μ?”. They defined the collection NCR1 of binary sequences for which such measures do not exist (we give formal definitions below), and showed, for example, that NCR1 is countable, indeed that every sequence in NCR1 is hyperarithmetic. In this paper we contribute toward the understanding of NCR1 by showing that it contains all sets which are Turing reducible to an incomplete, recursively enumerable set. In particular, NCR1 contains all K-trivial sets.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Logic Blog

1. Jan 2010: a downward GL1 set that is not weakly jump traceable 2 1.1. Original result 2 1.2. New results 2 1.3. Comments 2 2. March 2010: Structures that are computable almost surely 2 2.1. A structure that is computable almost surely, is computable in every Π1 random 2 2.2. Related questions 3 3. May 2010 : Cooper’s jump inversion and weak jump traceability 3 4. May 2010: The collection of ...

متن کامل

The Trouble With Trivials (p > .05)

Trivials are effect sizes associated with statistically non-significant results. Trivials are like Tribbles in the Star Trek television show. They are cute and loveable. They proliferate without limit. They probably growl at Bayesians. But they are troublesome. This brief report discusses the trouble with trivials.

متن کامل

Beyond Strong Jump Traceability

Strong jump traceability has been studied by various authors. In this paper we study a variant of strong jump traceability by looking at a partial relativization of traceability. We discover a new subclass H of the c.e. K-trivials with some interesting properties. These sets are computationally very weak, but yet contains a cuppable member. Surprisingly they cannot be constructed using cost fun...

متن کامل

K-trivials Are Ncr

Definition 1.3. Suppose Z ∈ 2ω. A test relative to Z, or Z-test, is a set W ⊆ ω × 2<ω which is recursively enumerable in Z. For X ∈ 2ω, X passes a test W if and only if there is an n such that X 6∈ [Wn]. Definition 1.4. Suppose that m represents the measure μ on 2ω and that W is an m-test. • W is correct for μ if and only if for all n, ∑ σ∈Wn μ([σ]) ≤ 2 −n. • W is Solovay-correct for μ if and o...

متن کامل

Schnorr triviality and genericity

We study the connection between Schnorr triviality and genericity. We show that while no 2-generic is Turing equivalent to a Schnorr trivial and no 1-generic is tt-equivalent to a Schnorr trivial, there is a 1-generic that is Turing equivalent to a Schnorr trivial. However, every such 1-generic must be high. As a corollary, we prove that not all K-trivials are Schnorr trivial. We also use these...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2010